void test_battery();
